Updating action domain descriptions

Updating action domain descriptions☆

Incorporating new information into a knowledge base is an important problem which has been widely investigated. In this paper, we study this problem in a formal framework for reasoning about actions and change. In this framework, action domains are described in an action language whose semantics is based on the notion of causality. Unlike the formalisms considered in the related work, this lang...

Consistency of Action Descriptions

As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependenc...

Elaborating Domain Descriptions

In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...

Inductive Corrections of Action Descriptions

In this paper, we show how A-Prolog can be used to perform incremental, inductive learning of the behavior of dynamic domains from (possibly incomplete) observations. The learning module deals with both direct and indirect effects of actions, and is not affected by the frame problem. Moreover, the module can be combined with planning and diagnostic modules, allowing for its integration in auton...

Updating the Research Domain Criteria.